Automatic Test Packet Generation
نویسندگان
چکیده
منابع مشابه
Automatic Test Bench Generation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specification of the system being designed by carrying out repetitive tasks such as architecture synthesis and technology mapping. However, in the new design flow, validation still remains a challenge: while new technologies based on formal verification are only marginally accepted for large desi...
متن کاملAutomatic Test Generation Using Quadratic
We recently proposed an unconventional digital circuit modeling technique and formulated test generation as an energy minimisation problem [7]. Although energy minimisation is as hard as test generation, the new approach has two advantages. Since the circuit function is mathematically expressed, operations research techniques like linear and non-linear programming can be applied to test generat...
متن کاملAutomatic Generation of Test Oracles
We describe a progression fiom pilot studies to development and use of domain-spec fzc verification and validation (V& v ) automation. Our domain is the testing of an AIplanning system that forms a key component of an autonomous spacecraft. We used pilot studies to ascertain opportunities for, and suitability OJ; automating various analyses whose results would contribute to V& V in our domain. ...
متن کاملTowards Automatic Test Database Generation
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automate certain testing tasks have been devised. Nevertheless, a great deal of testing is still carried out manually. This paper gives an overview of different testing scenarios and shows how database techniques (e.g., decl...
متن کاملAutomatic Generation of Test Cases
muchine, " a progrum f o r uutomuticully generating syntacticully correct progrums (test cusrs> f o r checking compiler front ends. The notion of " clynumic grammur " is introduced und is used in a syntax-defining notution thut procides f o r context-sensitiuity. Exurnples demonstrute use of the syntax machine. The " syntax machine " discussed here automatically generates random test cases for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE/ACM Transactions on Networking
سال: 2014
ISSN: 1063-6692,1558-2566
DOI: 10.1109/tnet.2013.2253121